Propositional variable - PDFSEARCH.IO - Document Search Engine

Propositional variable
Results: 38

#	Item
31	Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed] Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2008-03-25 22:30:40 Dynamic programming Model theory Markov processes Stochastic control Boolean algebra Markov decision process Reinforcement learning Function Propositional variable Mathematics Statistics Logic
32	Automated Verification of Signalling Principles in Railway Interlocking Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:42:58 Propositional calculus Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Railroad switch Logic Transport Land transport
33	AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1 Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2009-11-12 17:52:00 Metalogic Railway signalling Model theory Interlocking Ladder logic Propositional variable First-order logic Ladder Model checking Logic Propositional calculus Logical syntax
34	Bulletin of the Section of Logic Volume 11:[removed]), pp. 40–45 reedition[removed]original edition, pp. 40–47] Add to Reading List Source URL: www.filozof.uni.lodz.pl Language: English - Date: 2009-10-08 06:39:44 Predicate logic Propositional calculus Philosophy of language Interpretation Propositional variable Modal logic Meaning Tractatus Logico-Philosophicus Sentence Logic Philosophical logic Semantics
35	PDF Document Add to Reading List Source URL: www.qedeq.org Language: English - Date: 2013-05-24 16:15:39 Propositional calculus Formal languages Logical syntax First-order logic Proposition Predicate variable Well-formed formula Function Lambda calculus Logic Mathematical logic Predicate logic
36	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-30 14:49:57 Quantification Model theory Metalogic Branching quantifier First-order logic FO Skolem normal form Propositional variable Universal quantification Logic Mathematical logic Predicate logic
37	PDF Document Add to Reading List Source URL: fenrong.net Language: English - Date: 2011-05-22 03:37:00 Chinese philosophy Classical logic Mozi Mohism Propositional variable Term logic Proposition Modal logic Logic Propositional calculus Philosophical logic
38	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic

UPDATE